B-theory of time - PDFSEARCH.IO - Document Search Engine

B-theory of time
Results: 87

#	Item
1	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
2	1 Optimizing Busy Time on Parallel Machines George B. Mertzios∗ , Mordechai Shalom† , Ariella Voloshin‡ , Prudence W.H. Wong§ and Shmuel Zaks‡ ∗ School of Engineering and Computing Sciences, Durham University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2012-02-08 11:20:14 Graph theory Mathematics Operations research Mathematical optimization NP-complete problems Dynamic programming Equations Systems engineering Independent set Interval scheduling Interval graph Approximation algorithm
3	Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b Add to Reading List Source URL: eew.caltech.edu Language: English - Date: 2012-05-15 11:47:39 Statistics Statistical classification Multivariate statistics Estimation theory Probability distributions Bayesian statistics Linear discriminant analysis Discriminant function analysis Seismometer Normal distribution Likelihood function Mode
4	David Bohm, Roger Penrose, and the Search for Non-local Causality Before they met, David Bohm and Roger Penrose each puzzled over the paradox of the arrow of time. After they met, the case for projective physical space b Add to Reading List Source URL: tonyrobbin.net Language: English - Date: 2014-03-12 11:30:06 Physics Quantum mechanics Academia Quantum measurement Philosophy of physics Fellows of the Royal Society Quantum mind David Bohm Holomovement Implicate and explicate order Hidden variable theory Copenhagen interpretation
5	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
6	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
7	A, B,C’S (AND D)’S FOR UNDERSTANDING VARS JESÚS FERNÁNDEZ-VILLAVERDE UNIVERSITY OF PENNSYLVANIA, NBER, AND CEPR JUAN F. RUBIO-RAMÍREZ FEDERAL RESERVE BANK OF ATLANTA THOMAS J. SARGENT Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-04-08 13:03:43 Time series models Signal processing Econometrics Vector autoregression Control theory Value at risk Autoregressive model Kalman filter
8	arXiv:0901.1102v1 [math.PR] 8 JanA CLT for the L2 modulus of continuity of Brownian local time Xia Chen, Wenbo Li, Michael B. Marcus and Jay Rosen∗ February 20, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-20 11:10:03 Integral calculus Integration by parts Lemmas Harmonic analysis Operator theory Fourier analysis Singular integral operators of convolution type Bessel function
9	Bulletin of the Seismological Society of America, Vol. 97, No. 6, pp. 1890–1910, December 2007, doi: Real-Time Estimation of Fault Rupture Extent Using Near-Source versus Far-Source Classification b Add to Reading List Source URL: www.eqh.dpri.kyoto-u.ac.jp Language: English - Date: 2009-05-21 20:56:26 Statistical classification Multivariate statistics Estimation theory Probability distributions Bayesian statistics Linear discriminant analysis Discriminant function analysis Seismometer Normal distribution Likelihood function Mode Earthquake
10	Continuous-Time Estimation of attitude using B-splines on Lie groups Hannes Sommer1 , Roland Siegwart2 , and Paul Furgale3 Swiss Federal Institute of Technology Zurich (ETHZ), Zurich, 8092, Switzerland James Richard For Add to Reading List Source URL: europa2.informatik.uni-freiburg.de Language: English - Date: 2016-01-26 19:57:38 Interpolation Statistics Signal processing Estimation theory Robot control Control theory Quaternions Spline Kalman filter B-spline State observer Maximum likelihood estimation